低碳生态能源经济循环农业系统工程典型模式及配套技术

面对中国当前低碳生态能源经济循环农业系统工程复杂动态系统中存在的一些关键问题,仅凭单个学科的理论方法难以解决,在研究德邦牧业及其所在地高塘乡复杂动态生态能源经济系统发展问题中,将系统工程理论方法与其它学科理论方法交叉结合,进行集成创新,建立了区域双充分低碳生态能源经济循环农业系统工程典型模式和全乡四责任制低碳生态能源经济循环农业系统工程典型模式.这两种典型模式的建立步骤是:首先建立原系统发展各年的顶点赋权图模型,生成反馈系统的发展对策;继而建立仿真评价模型,对对策的实施效应进行定量仿真评价;最后根据设定的目标和仿真评价的结果调整确定科学合理的对策,进行实施.典型模式及配套技术实施的结果是:通过猪粪尿沼气能源充分开发利用工程和养种反馈循环沼液资源开发生物链工程,分别建立了低排放、低污染、低能耗、高效率的沼气能源开发的沼气能源产品供应链和绿色无公害农产品供应链.这为解决"三农"问题探索出了一条顶天立地、集成创新的系统开发新路.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

超冷均匀极化费米气体在共振区三相点附近的相图

研究了超冷均匀极化的费米气体在共振区的相图。在朗道相变理论的框架下, 把热力学势展开到了序参量的六阶, 并且通过比较微观的推导结果与朗道的唯象理论确定出了这些展开项的系数。在温度和费米子极化的相图上得到了三相点的位置。在三相点温度以上, 超流和正常相之间有二级相变。在三相点温度以下, 存在着这两个相共存的相分离区域, 一阶相变的位置被确定下来。     

基于时域伪谱法的二维光子带隙结构的能带研究

根据Bloth定理推导了伪周期电磁场的麦克斯韦方程,采用时域伪谱(PSTD)法分析二维光子带隙结构(PBG)的能带,对空间的微分进行付里叶变换离散而不作差分近似离散,使空域变换成伪谱域.计算结果与平面波展开法的结论相一致.分析了不同截面形状在不同的典型点阵结构中的物理特性.     

PLC梯形图向语句表的转换算法及实现

基于块生长观念提出了一种全新的将梯形图转化为语句表的转换算法。该转换算法以梯级为单位,采取＂自左而右,自上而下＂的扫描顺序,通过竖线标志来确定元件间的串并联关系,借助存放块（依据元件间的串并联关系不断生长的块）的栈来定位下次扫描的元件对象。该算法不仅能清晰地表达出梯形图各元件的逻辑关系,语句表转换过程准确快速,还能成功的实现梯级中包含多分支输出的复杂梯形图到语句表的转换。     

车床电气线路的PLC改造与实现

在车床原有的操作方式和主电路不变的情况下,利用PLC代替传统的控制模式,使车床的控制线路大为简化,故障率大大降低。实验结果表明系统获得了良好的控制效果,为企业进行技术改造提供了一种途径。     

钢的连续冷却转变图的预测研究进展

对钢的连续冷却转变图的预测方法进行了综述,指出：物理模拟法根据相变理论建立物理模型,然后进行数值计算,它具有坚实的理论基础;Scheil法根据等温转变图推算连续冷却转变图;统计方法包括经验公式法和人工神经网络法,它们不考虑问题的物理意义,只根据实验数据本身进行预测。几种方法各有所长,但也都存在一些不足,在实际工作中应综合使用。     

可逆计数器在梯形图设计中的应用

可编程控制器(PLC)作为一种新型的工业控制装置已被广泛地应用,其技术代表了当今电气控制技术的世界先进水平,而梯形图的设计作为一项创造性的工作,是PLC控制系统设计的重要内容;可逆计数器(CN-TR)在梯形图设计中的应用又是一项新探索.此处我们通过分析其工作原理,研究具有代表性的控制问题,设计满足控制要求的梯形图,总结规律、掌握技巧,为PLC控制系统解决相关控制问题提供支持和帮助.     

基于Voronoi图的明代长城军事防御聚落空间分布

基于明代长城军事防御聚落生成Voronoi图,采用变异系数、最邻近点指数以及GIS的密度制图和地理统计分析等方法,从宏观和微观层面,分析军事防御聚落的空间分布特征,证实其存在明确和复杂的层次结构,并进一步分析地理环境和战略地位对空间布局的影响.     

由偏序关系的可达阵导出Hasse图的有效算法——兼谈其在认知诊断中的作用

假设0-1矩阵Q的行表示属性,对矩阵Q采用行逐对比较方法导出表示属性层级关系的Hasse图.然而,这个Hasse图和由可达矩阵R导出的Hasse图可能不一致.证明了包含R的Q阵的行逐对比较的方法与R导出的Hasse图是一致的,由此得出由偏序关系的可达矩阵导出Hasse图的一个有效算法,并讨论其在认知诊断中的应用.